Tighter Monogamy and Polygamy Relations of Quantum Entanglement in Multi-qubit Systems

International Journal of Theoretical Physics - We investigate the monogamy relations related to the concurrence, the entanglement of formation, convex-roof extended negativity, Tsallis-q...     

Model averaging for linear models with responses missing at random

Annals of the Institute of Statistical Mathematics - In this paper, a model averaging approach is developed for the linear regression models with response missing at random. It is shown that the...     

An exploration of fractal-based prognostic model and comparative analysis for second wave of COVID-19 diffusion

Nonlinear Dynamics - The coronavirus disease 2019 (COVID-19) pandemic has fatalized 216 countries across the world and has claimed the lives of millions of people globally. Researches are being...     

Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Good polynomials for optimal LRC of low locality

Designs, Codes and Cryptography - According to a magnific method due to I. Tamo and A. Barg, a class of polynomials over finite fields, called good polynomials, was introduced and used to construct...     

Weak dissipation of electrostatic solitary structures in warm collisional pair-ion plasmas with non-Maxwellian electron population

The localized electrostatic structures with dissipation due to ion-neutral collisions in a symmetric warm pair-ion plasma in the presence of non-Maxwellian population of electrons are studied. The analytical model for ion dynamics is based on fluid equations and the evolution equation is derived by using the reductive perturbation scheme in the form of a damped Korteweg-de Vries equation. The parameter regime relevant to space-based observations and laboratory plasmas is considered and time evolution of the propagating ion-acoustic soliton is discussed. The energetic-particles-driven properties of soliton for various spectral indices, dissipation, ion temperature, and density are illustrated with comparison to the thermal mode for Boltzmann distribution of electrons.